projects / llvm-toolchain-9.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c86a81e) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Mon, 27 Sep 2021 15:53:42 +0000 (16:53 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Mon, 27 Sep 2021 15:53:42 +0000 (16:53 +0100)
commitf0f633e68fa4ebbdccd28d1a5d087a963b9bf7a4
treeffbda12f2d2fdacff9232c4e7b909364d45ee212tree | snapshot
parentc86a81e121a24cf8a1b1d365354b9b8e1a44a28fcommit | diff
Disable z3 to avoid pulling ocaml into main.

For some reason the cmake option LLVM_ENABLE_Z3_SOLVER was not taken into account
Last-Update: 2019-11-26

Gbp-Pq: Name no-z3.patch
llvm/CMakeLists.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.